The Complexity of Matrix Transposition on One-Tape Off-Line Turing Machines with Output Tape
نویسندگان
چکیده
Dietzfelbinger. hl. and W' hlaass. The complexity of matrrx transposition on one-tape off-line Turing machines with output tape, Thcorettcal A series of existing lower bound results for deterministic one-tape Turing machines is extended to another, stronger such model suttable for the computatton of functions: one-tape off-line Turing machines wtth a wrote-only output tape. (" OfT-line " means: havmg a two-way input tape.) The following optrmal lower bound is shown: Computrng the transpose of Boolean ix i-matrrces takes R(1 " ')=Rtt1 " ~) steps on such Turing machtnes. ()I= 1' is the length of the input.)
منابع مشابه
Visits, Crosses, and Reversals for Nondeterministic Off-Line Machines
The different concepts involved in "reversal complexity"--counting reversals (sweeps), visits to a square, or crossing sequences--are discussed for nondeterministic off-line Turing machines with one working tape and for preset Turing machines, a generalization of two-way checking automata. Restriction to finite reversals or visits or crosses yields the same family, NSPACE(log2 n), for off-line ...
متن کاملTape Bounds for Some Subclasses of Deterministic Context-Free Languages
There are several interesting observations to be made concerning the tape complexity of context-free languages. An early result given by Lewis et al. (1965) is that every context-free language can be recognized by an off-line deterministic Turing machine of O((log n) 2) tape complexity. This is still the best result known. Sudborough (1975) shows that if all linear context-free languages can be...
متن کاملOne-Tape, Off-Line Turing Machine Computations
In this paper we shall consider Turing machines tha t can, at any given step in their computations, do each of the following things: (a) change the tape symbols currently scanned by their reading heads, (b) shift each of their tapes one square to the left or right, (c) change their internal state, and (d) halt. Each step is assumed to require exactly one t ime unit for its completion. I n order...
متن کاملar X iv : c s / 03 10 04 6 v 2 [ cs . C C ] 1 4 Ju n 20 04 Theory of One Tape Linear Time Turing Machines ∗
A theory of one-tape linear-time Turing machines is quite different from its polynomial-time counterpart since one-tape linear-time Turing machines are closely related to finite state automata. This paper discusses structural-complexity issues of one-tape Turing machines of various types (deterministic, nondeterministic, reversible, alternating, probabilistic, counting, and quantum Turing machi...
متن کاملNotes on Complexity Theory Notes Taken From
I assume that most students have encountered Turing machines before. (Students who have not may want to look at Sipser’s book [3].) A Turing machine is defined by an integer k ≥ 1, a finite set of states Q, an alphabet Γ, and a transition function δ : Q×Γk → Q×Γk−1×{L, S,R}k where: • k is the number of (infinite, one-dimensional) tapes used by the machine. In the general case we have k ≥ 3 and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1988